(Info Search): echo area, not echo are. From Debian diff.
authorKarl Berry <karl@gnu.org>
Mon, 27 Oct 2003 00:01:25 +0000 (00:01 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 27 Oct 2003 00:01:25 +0000 (00:01 +0000)
commit642b8fd8334711c258c65ca7175f6933f33e659f
treeb206cfb8472d95852ed3f1409340d9df872257a2
parent3f8e2a8a00bc3aea68b0b8633226c49485e3a6ba
(Info Search): echo area, not echo are.  From Debian diff.
man/info.texi